Bump the development group with 5 updates · MiniZinc/minizinc-playground@d40dbc7

Triggered via pull request March 10, 2025 07:33

opened #95

Status Success

Total duration 46s

Artifacts 1

gh-pages.yml

on: pull_request

Matrix: build-for-deployment

Produced during runtime

Name	Size	Digest
playground	364 KB	`sha256:63ebec8e8debd4b41e83987d234f1cdf89ce0b873e731811029dc369fdae54e9`